#!/usr/bin/env bash
set -euo pipefail
qemu-system-riscv64 -machine virt -nographic \
  -bios /usr/lib/riscv64-linux-gnu/opensbi/generic/fw_jump.elf \
  -kernel "$(dirname "$0")/../build/kernel.elf"
